Natural proof

#	Item
341	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2006-10-25 07:16:45 Predicate logic Proof theory Formal systems Metalogic First-order logic Natural deduction Well-formed formula Axiom FO Logic Mathematical logic Mathematics
342	PDF Document Add to Reading List Source URL: ftp.cs.rutgers.edu Language: English - Date: 2001-06-15 14:23:26 Complexity classes Circuit complexity ACC0 Natural proof Pseudorandom generator TC0 AC0 Parity function EXPTIME Theoretical computer science Computational complexity theory Applied mathematics
343	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics